Evolution of Partial Evaluators: Removing Inherited Limits

نویسنده

  • Torben Æ. Mogensen
چکیده

We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inherited from structural bounds in the original programs. It will often be the case that a language allows an unbounded number or size of a particular features, but each program (being nite) will only have a nite number or size of these features. If the residual programs cannot overcome the bounds given in the original program, that can be seen as a weakness in the partial evaluator, as it potentially limits the e ectiveness of residual programs. The inherited limits are best observed through specializing a self-interpreter and examining the object programs produced by specialisation of this. We show how historical developments in partial evaluators gradually remove inherited limits, and suggest how this principle can be used as a guideline for further development.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Uniform Approach for Compile-Time and Run-Time Specialization

As partial evaluation gets more mature it is now possible to use this program transformation technique to tackle realistic languages and real size application programs However this evolution raises a num ber of critical issues that need to be addressed before the approach be comes truly practical First of all most existing partial evaluators have been developed based on the assumption that they...

متن کامل

Oligocene partial melting in the Takab metamorphic complex, NW Iran: Evidence from in situ U-Pb geochronology

U-Pb ages obtained on zircons from the investigated migmatites place new constraints on the evolution of the crustal rocks in the Takab area. SHRIMP U-Pb dating of inherited zircon in the melanosome parts of mafic migmatites from the Takab complex gives a discordant age with an upper intercept of 2961±72 Ma (MSWD=0.5) and a lower intercept of 24.2±5.7 Ma (MSWD=1.7). In the concordia diagram, th...

متن کامل

The evolution of the thoughts of protesters to hijab from the Naserid era to the second Pahlavi period (1227-1320)

Following the confrontation of modern thinkers with modernity, the votes of the hijab protestors were raised as preparation of intellectualism and modernity requirements. The present article by using a documentary-analytical method investigates the development of the hijab critics’ theories during the 1227 to 1320 period by describing their beliefs and performances to explain the influential f...

متن کامل

A Simple Chairside Technique of Removing Crown and Fixed Partial Denture Restorations

Retrieving failed cemented crowns and fixed partial dentures with minimum discomfort to the patient has always been a clinical concern. This article describes a technique which will allow easy and predictable removal of these restorations.

متن کامل

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages

There is a main diierence between a program which is interpreted by an interpreter written in a strongly-typed language and a compiled version. Such an interpreter usually uses a universal domain for the values it manipulates. A value encoding is necessary. A compiled program works directly on values. A layer of interpretation for value representation is inserted. On the other hand, a way to de...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996